Tootfinder

from my link log —
How to take the inverse of a type.
https://2022.ecoop.org/details/ecoop-2022-papers/6/How-to-Take-the-Inverse-of-a-Type
saved 2025-06-03

How to Take the Inverse of a Type (ECOOP 2022 - Research Papers) - ECOOP 2022
ECOOP is Europe’s longest-standing annual Programming Languages (PL) conference, and welcomes high quality research papers relating to the PL field in a broad sense. This year the conference will feature dedicated paper categories for reproduction studies, experience reports, reflective “pearls”, and forward-thinking “new idea” papers. We are also pleased to have two Journal First routes for submission to ECOOP, with the ACM TOPLAS and Science of Computer Programming journals.

(2022) Tarinoita metsästä #luonto #ympäristö

Tarinoita metsästä
Tarinoita metsästä kertoo suomalaisen metsäluonnon kauneudesta ja esittelee monimuotoisen vanhan metsän luontoa sekä asukkaita lyhyiden, tietopitoisten kertomusten muodossa. Ohjaus: Kim Saarniluoto. Tuotanto: Matila Röhr Nordisk Oy.

Results from the Pan-STARRS Search for Kilonovae: Contamination by Massive Stellar Outbursts
M. D. Fulton, S. J. Smartt, M. E. Huber, K. W. Smith, K. C. Chambers, M. Nicholl, S. Srivastav, D. R. Young, E. A. Magnier, C. -C. Lin, P. Minguez, T. de Boer, T. Lowe, R. Wainscoat
https://arxiv.org/abs/2506.07082

Results from the Pan-STARRS Search for Kilonovae: Contamination by Massive Stellar Outbursts
We present results from the Pan-STARRS optical search for kilonovae without the aid of gravitational wave and gamma-ray burst triggers. The search was conducted from 26 October 2019 to 15 December 2022. During this time, we reported 29,740 transients observed by Pan-STARRS to the IAU Transient Name Server. Of these, 175 were Pan-STARRS credited discoveries that had a host galaxy within 200 Mpc and had discovery absolute magnitudes M > -16.5. A subset of 11 transients was plausibly identified as…

Jährlicher Zubau und Rückbau von #Balkonsolarleistung in Deutschland mit Stand vom 03.07.2025.
Unplausible Inbetriebnahmedaten von 1900 bis 2015 wurden durch das Registrierungsdatum der #Steckersolaranlage ersetzt.

Kiesewetter für Ausweisung russischer Diplomaten
Der CDU-Sicherheitspolitiker Roderich Kiesewetter hat angesichts der Bedrohung durch russische Cyberangriffen und Sabotageaktionen mehr Konsequenzen gefordert. "Wir sollten noch vorhandene Agenten und Diplomaten ausweisen", sagte der stellvertretende Vorsitzende des Geheimdienst-Kontrollgremiums des Bundestags dem Handelsblatt.
Schon im April 2022 hatte die Bundesregierung 40 …
📑

Ukraine-Liveblog: ++ Ukraine-Verbündete beraten über weitere Hilfen ++
Auf Einladung Deutschlands und Großbritanniens kommt am Mittwoch die sogenannte Ramstein-Gruppe zusammen, um über weitere Hilfen für die Ukraine zu beraten - die USA nehmen nicht teil. Moskau fordert die Anerkennung der eroberten Gebiete.

Synth Kraze
- music made for the joy of it -
#SynthPop #NowPlaying
https://muz4now.com/2022/s…

Synth Kraze #SynthPop #NowPlaying
Stan Stewart - @muz4now

This https://arxiv.org/abs/2505.06681 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Local well-posedness for a system of quadratic derivative nonlinear Schrödinger equations
We consider the Cauchy problem for a system of quadratic derivative nonlinear Schrödinger equations introduced by M. Colin and T. Colin (2004) as a model of laser-plasma interaction. Under the condition that the flow map fails to be twice differentiable, Hirayama, Kinoshita, and Okamoto (2022) proved the well-posedness by constructing a modified energy and applying the energy method. In the present paper, we improve the well-posedness result under the above condition by using the short-time Fo…

Russia jails man for 16 years over pro-Ukraine cyberattacks on critical infrastructure https://therecord.media/russia-jails-man-over-pro-ukraine-cyberattacks